Binary decision diagram - PDFSEARCH.IO - Document Search Engine

Binary decision diagram
Results: 113

#	Item
11	1998 Paper 5 Question 10 Logic and Proof Construct an ordered binary decision diagram (OBDD) for the formula [(P → Q) ∧ (¬R ∨ ¬Q)] → ¬R, showing each step carefully. What does the OBDD tell us about whether t Add to Reading List Source URL: www.cl.cam.ac.uk - Date: 2014-06-09 10:17:24
12	Logical Circuit Filtering Dafna Shahaf and Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,eyal}@uiuc.edu Add to Reading List Source URL: i.stanford.edu Language: English - Date: 2010-08-28 23:41:03 Mathematics Knowledge Knowledge representation Artificial intelligence Epistemology Frame problem Binary decision diagram Situation calculus Fluent Science Logic programming Branches of philosophy
13	BRICS Basic Research in Computer Science BRICS RSHansen et al.: Circuits on Cylinders Circuits on Cylinders Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-01-09 10:18:59 Complexity classes Circuit complexity NC ACC0 Circuit AC Binary decision diagram TC0 FO Theoretical computer science Computational complexity theory Applied mathematics
14	Microsoft Word - PiecewiseLinCombined32.doc Add to Reading List Source URL: ticsp.cs.tut.fi Language: English - Date: 2008-03-21 14:41:50 Implicant Binary decision diagram Function Polynomial Vector space Constructible universe Mathematics Algebra Boolean algebra
15	Reasoning about Reliability and Cost using Decision Diagrams and Syntax Trees Tarik Hadzic and Helmut Simonis? Cork Constraint Computation Centre Department of Computer Science, University College Cork, Ireland {h.simoni Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2010-09-09 05:54:53 Boolean algebra Graphical models Materials science Reliability engineering Survival analysis Binary decision diagram Connectivity Reliability Directed acyclic graph Statistics Systems engineering Systems science
16	CCCG 2011, Toronto ON, August 10–12, 2011 Edge Unfoldings of Platonic Solids Never Overlap Takashi Horiyama∗ Wataru Shoji∗ Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2011-08-06 04:11:13 Archimedean solids Platonic solids Uniform polyhedra Polyhedra Polytopes Binary decision diagram Polyhedron Icosahedron Octahedron Geometry Convex geometry Euclidean geometry
17	THE EFFICIENT SYMBOLIC TOOLS PACKAGE Robert Meolic, Tatjana Kapus, Zmago Brezoˇcnik Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ul. 17, SI-2000 Maribor, Slovenia E-mail: fmeoli Add to Reading List Source URL: research.meolic.com Language: English - Date: 2013-12-04 04:28:45 Systems engineering Theoretical computer science Diagrams Formal methods Binary decision diagram Model checking Formal verification Boolean function Verification Boolean algebra Mathematics Mathematical logic
18	AND/OR Multivalued Decision Diagrams (AOMDD) for Probabilistic and Constraints knowledge-bases. Rina Dechter Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2013-01-24 17:19:40 Bayesian statistics Graph theory Graphical models Bayesian network Networks Influence diagram Logic programming Binary decision diagram Statistics Statistical models Diagrams
19	Translations of Cellular Automata for Efficient Simulation Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:39 Boolean algebra Cross-platform software Diagrams Binary decision diagram Model checking Cellular automaton Java Lookup table C Computing Computer programming Software engineering
20	CCCG 2011, Toronto ON, August 10–12, 2011 Edge Unfoldings of Platonic Solids Never Overlap Takashi Horiyama∗ Wataru Shoji∗ Add to Reading List Source URL: 2011.cccg.ca Language: English - Date: 2011-08-06 04:11:13 Archimedean solids Platonic solids Uniform polyhedra Polyhedra Polytopes Binary decision diagram Polyhedron Icosahedron Octahedron Geometry Convex geometry Euclidean geometry